$\vdash$  $\forall$$b$:$\mathbb{B}$. ($b$ = tt) $\Leftarrow\!\Rightarrow$ ($\uparrow$$b$)